<link rel="stylesheet" type="text/css" href="https://creusot-rs.github.io/creusot/doc/highlight.css">
